パソコン用Micro Prologの試作